Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
291	Introduction to Information Sciences Natural Language Processing Formal Languages Add to Reading List Source URL: www.iip.ist.i.kyoto-u.ac.jp Language: English - Date: 2011-04-11 07:17:52
292	Workshop on Mental model ascription by language-enabled intelligent agents, July 31, 2013, Berlin, Germany. Abduction of Mental States with a Formal Theory of Commonsense Psychology Andrew S. Gordon, Jerry R. Hobbs, Kat Add to Reading List Source URL: people.ict.usc.edu Language: English - Date: 2013-09-18 13:33:33
293	Introduction to Information Sciences Natural Language Processing Formal Languages Add to Reading List Source URL: www.iip.ist.i.kyoto-u.ac.jp Language: English - Date: 2011-04-11 07:17:52
294	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
295	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
296	Microsoft Word - Federal Capabilities 2014 Add to Reading List Source URL: discovertext.com Language: English - Date: 2015-01-29 15:08:26 Data analysis Natural language processing Statistical natural language processing Social networks Formal sciences Text analytics Gnip Analytics R Statistics Data management Science
297	CV Filip Murlak Contact data address University of Warsaw, Faculty of Mathematics, Informatics, and Mechanics Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-05-22 15:22:06 Computer science International Colloquium on Automata Languages and Programming Symposium on Theoretical Aspects of Computer Science Tree automaton Finite-state machine Formal language Hierarchy Automata theory Theoretical computer science Applied mathematics
298	The Icon Analyst In-Depth Coverage of the Icon Programming Language October 1998 Number 50 In this issue … Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:49:18 Computer programming Formal grammar L-system Icon LL parser Regular expression Attribute grammar Formal languages Software engineering Computing
299	Building a Semantic Parser Overnight Yushi Wang∗ Stanford University Jonathan Berant∗ Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2015-05-30 04:17:55 Language Theoretical computer science Computational linguistics Categorial grammar Formal grammar Parsing Syntax Semantics Boolean algebra Formal languages Linguistics Grammar
300	Building Variant Translators for Version 7.5 of Icon* Ralph E. Griswold Kenneth Walker TR 88-8b Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2014-02-12 20:45:52 Programming language implementation Compiling tools Parser generators C programming language Lex C preprocessor Preprocessor Formal language Yacc Computing Software Compiler construction

UPDATE